Câu ví dụ
- Vào năm $1945$, các nhà toán học Samuel Eilenberg và Saunders Mac Lane giới thiệu một đối tượng cơ bản mới với quan hệ tương đương được cấy sẵn trong nó.
- Cùng với Samuel Eilenberg, học đã cho ra cuốn sách Homological Algebra [4], nghiên cứu đối tượng với mức độ trừu tượng vừa phải với sự trợ giúp Lý Thuyết Phạm Trù.
- Samuel Eilenberg và Saunders Mac Lane giới thiệu các khái niệm về loại, functors, và biến đổi tự nhiên trong nghiên cứu của họ về topo đại số thời gian từ từ 1942-1945, với mục tiêu tìm hiểu các quá trình bảo tồn cấu trúc toán học.